home *** CD-ROM | disk | FTP | other *** search
- >>>>> Jason Merrill <jason@cygnus.com> writes:
- >>>>> Eugene Radchenko <eugene@qsar.chem.msu.su> writes:
-
- >> 3) Clause [temp.arg.explicit] verses 2-3 requires that for explicit arg in
- >> member template to be present it must be qualified by 'template' keyword,
- >> e.g.
- >> X *p; p->template alloc<200>();
- >> But to use operator -> we need X class definition anyway - so we know that
- >> alloc() is a template.
-
- > It is needed in some situations where we do not have the X class definition
- > -- in template definitions, like with typename.
-
- But then, the rule in the WP applies regardless of whether we know about X.
- I conclude that the idea was to allow the parser to do its work without
- peeking into classes to find names used after . or ->; another rule along
- the same lines requires that a scope used after . or -> have the same
- meaning in the ambient scope and the scope of the object specified.
-
- Jason
-
-
- [ comp.std.c++ is moderated. Submission address: std-c++@ncar.ucar.edu.
- Contact address: std-c++-request@ncar.ucar.edu. The moderation policy
- is summarized in http://dogbert.lbl.gov/~matt/std-c++/policy.html. ]
-
-